- замкнутый класс
- closed class мат.
Русско-английский научно-технический словарь Масловского. 2015.
замкнутый класс
Look at other dictionaries:
КЛАСС МОРСКИЕ ЛИЛИИ (CRNDEA) — Название класса греческого происхождения и в переводе на русский язык означает «подобный лилиям». Действительно, представители этого класса обладают причудливой формой тела, напоминающей цветок. Великолепная же пестрая или яркая окраска… … Биологическая энциклопедия
КЛАСС МОРСКИЕ КУБЫШКИ (HOLOTHURIDEA) — Морскими кубышками или морскими огурцами называют животных, тело которых при малейшем прикосновении сильно сжимается, после чего оно у многих форм становится похожим на старинную кубышку или свежий огурец. Их известно около 900 видов.… … Биологическая энциклопедия
Замкнутый оператор — В функциональном анализе замкнутые операторы это некоторый важный класс неограниченных операторов, гораздо более широкий, чем класс ограниченных, то есть непрерывных, операторов. Замкнутый оператор не обязан быть определён на всём… … Википедия
АЛГЕБРАИЧЕСКИХ СИСТЕМ КЛАСС — класс однотипных алгебраических систем. Все системы любого данного типа предполагаются записанными в определенной сигнатуре и наз. системами. Класс систем наз. абстрактным, если он содержит вместе с каждой своей системой и все изоморфные ей… … Математическая энциклопедия
АКСИОМАТИЗИРУЕМЫЙ КЛАСС — класс однотипных моделей, определяемый системой аксиом. Класс Кмоделей формального языка Lназ. аксиоматизируемым (конечно аксиоматизируемым), если существует (конечная) система замкнутых формул языка Lтакая, что Ксодержит те и только те модели,… … Математическая энциклопедия
ПОСТА КЛАСС — замкнутый относительно операции суперпозиции класс функций алгебры логики (ф. а. л.). Э. Пост (Е, Post) установил, что таких классов в точности счетное множество, и дал их явное описание. Им же показано, что все они являются конечно порожденными … Математическая энциклопедия
Замкнутые классы булевых функций — Замкнутый класс в теории булевых функций такое множество функций алгебры логики, замыкание которого относительно операции суперпозиции совпадает с ним самим: . Другими словами, любая функция, которую можно выразить формулой с использованием … Википедия
Критерий Поста — одна из центральных теорем в теории булевых функций, устанавливающая необходимое и достаточное условие для того, чтобы некоторый набор булевых функций обладал достаточной выразительностью, чтобы представить любую булеву функцию. Впервые… … Википедия
МНОГОЗНАЧНЫЕ ЛОГИКИ — МНОГОЗНАЧНЫЕ ЛОГИКИ обобщение классической двузначной логики (см. Логика высказываний) к примеру, посредством которого к обычным истинностным значениям “истина” и “ложь” добавляются и другие (промежуточные) значения. Этот факт указывает на то … Философская энциклопедия
МНОГОЗНАЧНЫЕ ЛОГИКИ – — обобщение классической двузначной логики (см. Логика высказываний) к примеру, посредством которого к обычным истинностным значениям «истина» и «ложь» добавляются и другие (промежуточные) значения. Этот факт указывает на то, что принцип… … Философская энциклопедия
МНОГОЗНАЧНАЯ ЛОГИКА — раздел математической логики, изучающий математич. модели логики высказываний. Эти модели отражают две основные черты последней множественность значений истинности высказываний и возможность построения новых более сложных высказываний из заданных … Математическая энциклопедия
